1. Verification of object-oriented software
Author: / Bernhard Beckert, Reiner Heahnle, Peter H. Schmitt (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software--Verification,Object-oriented methods (Computer science),Java (Computer program language)
Classification :
QA
,
76
.
76
,.
V47
,
V474
,
2007
